noetherscher 加群